﻿% Dạng 4.1.4 {con vật} thuộc lớp {thông tin về lớp}  phải không/phải vậy không/đúng vậy không?


cau_hoi(lambda(X,TT)) --> thong_tin(TT) , tu_nghi_van , dau_hoi.

thong_tin(TL) --> doi_tuong_thong_tin1(DTTT1), dong_tu, tu_lop(TL) , doi_tuong_thong_tin2(DTTT2),{arg(1,TL,DTTT1),arg(2,TL,DTTT2)}.

doi_tuong_thong_tin1(X) --> [X].

doi_tuong_thong_tin1(X) --> [con,X].

dong_tu --> [thuộc].

tu_lop(lớp(X,Y)) --> [lớp].

doi_tuong_thong_tin2(X) --> [X].

tu_nghi_van --> [phải,không].

tu_nghi_van --> [phải,vậy,không].

tu_nghi_van --> [đúng,vậy,không].

dau_hoi --> [?].